n (set theory) Said set together with said partial order; the ordered pair of said set and said partial order.